#include <cellcsp.h>
#include <string>
#include <stdio.h>
#include <csp_debug.h>
#include <CSPProcess.h>




int main(){

	//char *file = "./tasks/init_yield_task_1";
	char *file = "./tasks/fact_yield_calleesaves_task";
	
	CSPConfig conf;

	conf.add_csp_program(file, "init_task");


	//CellCSP_start(conf, &kernel);
	CellCSP_start(conf);

	printf("Running %s with Parallel\n", file);
	
	CSPProcess init1("init_task");
	CSPProcess init2("init_task");
	//init.Run();
	Parallel par(&init1, &init2, NULL) ; 
	par.Run();
	
	
	/*
	CSPProcess mytask2("mytask1");
	mytask2.Run();
	*/

	CellCSP_end();
	
	return 0;
}
